- ejecución de verificación
- • test program• test the pulse of
Diccionario Técnico Español-Inglés. 2013.
ejecución de verificación
Look at other dictionaries:
Ejecución de la deuda — Saltar a navegación, búsqueda Ejecución, en Derecho procesal, es la actividad tendiente a obtener el cumplimiento forzoso de una obligación, por medio del embargo de bienes en cantidad suficiente para su satisfacción, y la posterior realización… … Wikipedia Español
Common Intermediate Language — (CIL, pronunciado sil o kil ) (anteriormente llamado Microsoft Intermediate Language o MSIL) es el lenguaje de programación legible por humanos de más bajo nivel en el Common Language Infrastructure y en el .NET Framework. Los lenguajes del .NET… … Wikipedia Español
Control de gestión — Se ha sugerido que este artículo o sección sea fusionado con Control interno (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. El control de gestión es un proceso que sirve para guiar la gestión… … Wikipedia Español
Dirección integrada de proyecto — Saltar a navegación, búsqueda Contenido 1 Dirección Integrada de Proyecto 2 El servicio de DIP en España en el sector de la construcción 3 Alcance de la DI … Wikipedia Español
Método formal — En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y… … Wikipedia Español
Grado en Ingeniería de Edificación (España) — El Grado en Ingeniería de Edificación es un Título de grado creado en España, para facilitar el intercambio de titulados universitarios dentro de los países integrantes del EEES dentro del Proceso de Bolonia, bajo una denominación de estas… … Wikipedia Español
GOTO — o GO TO (ir a en inglés) es una instrucción muy común en los lenguajes de programación con el objetivo de controlar el flujo del programa. El efecto de su versión más simple es transferir sin condiciones la ejecución del programa a la etiqueta o… … Wikipedia Español
Máquina virtual Java — Una Máquina virtual Java (en inglés Java Virtual Machine, JVM) es un máquina virtual de proceso nativo, es decir, ejecutable en una plataforma específica, capaz de interpretar y ejecutar instrucciones expresadas en un código binario especial (el… … Wikipedia Español
Matanzas de Paracuellos — Vista del cementerio de Paracuellos[1] cercano al río Jarama, uno de los lugares donde ocurrieron estos episodios de represión de la Guerra Civil Española, erigido en recuerdo y memoria de los asesinados … Wikipedia Español
Java Modeling Language — El Java Modeling Language, abreviado JML y en español «Lenguaje de Modelaje para Java» es un lenguaje de especificación para programas Java, que se sirve de pre , postcondiciones e invariantes de la lógica de Hoare, siguiendo el paradigma de… … Wikipedia Español
Ping — Este artículo o sección necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 16 de julio de 2011. También puedes ayudar wikificando… … Wikipedia Español
